Optimal. Leaf size=508 \[ \frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b-\sqrt {b^2-a^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {\cos (e+f x)+1}}\right )\right |-1\right )}{b f \sqrt {b^2-a^2} \sqrt {g \cos (e+f x)}}-\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b+\sqrt {b^2-a^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {\cos (e+f x)+1}}\right )\right |-1\right )}{b f \sqrt {b^2-a^2} \sqrt {g \cos (e+f x)}}-\frac {d^{3/2} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}+1\right )}{\sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \log \left (-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)+\sqrt {d}\right )}{2 \sqrt {2} b f \sqrt {g}}-\frac {d^{3/2} \log \left (\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)+\sqrt {d}\right )}{2 \sqrt {2} b f \sqrt {g}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.77, antiderivative size = 508, normalized size of antiderivative = 1.00, number of steps used = 15, number of rules used = 11, integrand size = 37, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.297, Rules used = {2909, 2574, 297, 1162, 617, 204, 1165, 628, 2908, 2907, 1218} \[ \frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b-\sqrt {b^2-a^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {\cos (e+f x)+1}}\right )\right |-1\right )}{b f \sqrt {b^2-a^2} \sqrt {g \cos (e+f x)}}-\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b+\sqrt {b^2-a^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {\cos (e+f x)+1}}\right )\right |-1\right )}{b f \sqrt {b^2-a^2} \sqrt {g \cos (e+f x)}}-\frac {d^{3/2} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \tan ^{-1}\left (\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}+1\right )}{\sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \log \left (-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)+\sqrt {d}\right )}{2 \sqrt {2} b f \sqrt {g}}-\frac {d^{3/2} \log \left (\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)+\sqrt {d}\right )}{2 \sqrt {2} b f \sqrt {g}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 204
Rule 297
Rule 617
Rule 628
Rule 1162
Rule 1165
Rule 1218
Rule 2574
Rule 2907
Rule 2908
Rule 2909
Rubi steps
\begin {align*} \int \frac {(d \sin (e+f x))^{3/2}}{\sqrt {g \cos (e+f x)} (a+b \sin (e+f x))} \, dx &=\frac {d \int \frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}} \, dx}{b}-\frac {(a d) \int \frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)} (a+b \sin (e+f x))} \, dx}{b}\\ &=\frac {\left (2 d^2 g\right ) \operatorname {Subst}\left (\int \frac {x^2}{d^2+g^2 x^4} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{b f}-\frac {\left (a d \sqrt {\cos (e+f x)}\right ) \int \frac {\sqrt {d \sin (e+f x)}}{\sqrt {\cos (e+f x)} (a+b \sin (e+f x))} \, dx}{b \sqrt {g \cos (e+f x)}}\\ &=-\frac {d^2 \operatorname {Subst}\left (\int \frac {d-g x^2}{d^2+g^2 x^4} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{b f}+\frac {d^2 \operatorname {Subst}\left (\int \frac {d+g x^2}{d^2+g^2 x^4} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{b f}-\frac {\left (2 \sqrt {2} a \left (1-\frac {b}{\sqrt {-a^2+b^2}}\right ) d^2 \sqrt {\cos (e+f x)}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (\left (b-\sqrt {-a^2+b^2}\right ) d+a x^2\right ) \sqrt {1-\frac {x^4}{d^2}}} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {1+\cos (e+f x)}}\right )}{b f \sqrt {g \cos (e+f x)}}-\frac {\left (2 \sqrt {2} a \left (1+\frac {b}{\sqrt {-a^2+b^2}}\right ) d^2 \sqrt {\cos (e+f x)}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (\left (b+\sqrt {-a^2+b^2}\right ) d+a x^2\right ) \sqrt {1-\frac {x^4}{d^2}}} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {1+\cos (e+f x)}}\right )}{b f \sqrt {g \cos (e+f x)}}\\ &=\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b-\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}-\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b+\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}+\frac {d^2 \operatorname {Subst}\left (\int \frac {1}{\frac {d}{g}-\frac {\sqrt {2} \sqrt {d} x}{\sqrt {g}}+x^2} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{2 b f g}+\frac {d^2 \operatorname {Subst}\left (\int \frac {1}{\frac {d}{g}+\frac {\sqrt {2} \sqrt {d} x}{\sqrt {g}}+x^2} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{2 b f g}+\frac {d^{3/2} \operatorname {Subst}\left (\int \frac {\frac {\sqrt {2} \sqrt {d}}{\sqrt {g}}+2 x}{-\frac {d}{g}-\frac {\sqrt {2} \sqrt {d} x}{\sqrt {g}}-x^2} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{2 \sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \operatorname {Subst}\left (\int \frac {\frac {\sqrt {2} \sqrt {d}}{\sqrt {g}}-2 x}{-\frac {d}{g}+\frac {\sqrt {2} \sqrt {d} x}{\sqrt {g}}-x^2} \, dx,x,\frac {\sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}\right )}{2 \sqrt {2} b f \sqrt {g}}\\ &=\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b-\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}-\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b+\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}+\frac {d^{3/2} \log \left (\sqrt {d}-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)\right )}{2 \sqrt {2} b f \sqrt {g}}-\frac {d^{3/2} \log \left (\sqrt {d}+\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)\right )}{2 \sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}-\frac {d^{3/2} \operatorname {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}\\ &=-\frac {d^{3/2} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}+\frac {d^{3/2} \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {g \cos (e+f x)}}\right )}{\sqrt {2} b f \sqrt {g}}+\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b-\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}-\frac {2 \sqrt {2} a d^{3/2} \sqrt {\cos (e+f x)} \Pi \left (-\frac {a}{b+\sqrt {-a^2+b^2}};\left .\sin ^{-1}\left (\frac {\sqrt {d \sin (e+f x)}}{\sqrt {d} \sqrt {1+\cos (e+f x)}}\right )\right |-1\right )}{b \sqrt {-a^2+b^2} f \sqrt {g \cos (e+f x)}}+\frac {d^{3/2} \log \left (\sqrt {d}-\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)\right )}{2 \sqrt {2} b f \sqrt {g}}-\frac {d^{3/2} \log \left (\sqrt {d}+\frac {\sqrt {2} \sqrt {g} \sqrt {d \sin (e+f x)}}{\sqrt {g \cos (e+f x)}}+\sqrt {d} \tan (e+f x)\right )}{2 \sqrt {2} b f \sqrt {g}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 16.45, size = 518, normalized size = 1.02 \[ \frac {10 \left (a^2-b^2\right ) \cot (e+f x) (d \sin (e+f x))^{3/2} \left (a+b \sqrt {\sin ^2(e+f x)}\right ) \left (\frac {a F_1\left (\frac {1}{4};-\frac {1}{4},1;\frac {5}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )}{\cos ^2(e+f x) \left (\left (b^2-a^2\right ) F_1\left (\frac {5}{4};\frac {3}{4},1;\frac {9}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )-4 b^2 F_1\left (\frac {5}{4};-\frac {1}{4},2;\frac {9}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )\right )+5 \left (a^2-b^2\right ) F_1\left (\frac {1}{4};-\frac {1}{4},1;\frac {5}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )}+\frac {b \sqrt {\sin ^2(e+f x)} F_1\left (\frac {1}{4};-\frac {3}{4},1;\frac {5}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )}{\cos ^2(e+f x) \left (4 b^2 F_1\left (\frac {5}{4};-\frac {3}{4},2;\frac {9}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )+3 \left (a^2-b^2\right ) F_1\left (\frac {5}{4};\frac {1}{4},1;\frac {9}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )\right )-5 \left (a^2-b^2\right ) F_1\left (\frac {1}{4};-\frac {3}{4},1;\frac {5}{4};\cos ^2(e+f x),\frac {b^2 \cos ^2(e+f x)}{b^2-a^2}\right )}\right )}{f \sqrt {g \cos (e+f x)} (b \sin (e+f x)-a) (a+b \sin (e+f x))^2} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \sin \left (f x + e\right )\right )^{\frac {3}{2}}}{\sqrt {g \cos \left (f x + e\right )} {\left (b \sin \left (f x + e\right ) + a\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.87, size = 941, normalized size = 1.85 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \sin \left (f x + e\right )\right )^{\frac {3}{2}}}{\sqrt {g \cos \left (f x + e\right )} {\left (b \sin \left (f x + e\right ) + a\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {{\left (d\,\sin \left (e+f\,x\right )\right )}^{3/2}}{\sqrt {g\,\cos \left (e+f\,x\right )}\,\left (a+b\,\sin \left (e+f\,x\right )\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (d \sin {\left (e + f x \right )}\right )^{\frac {3}{2}}}{\sqrt {g \cos {\left (e + f x \right )}} \left (a + b \sin {\left (e + f x \right )}\right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________